<+> == <, x,y. (x = y), x,y. x z y, x,y. x+y, 0, x.-x> 

latex

Up	groups 1
Wellformedness Lemmas	int add grp wf, int add grp wf2
Definitions	(i = j), i z j